TCR<mini> alpha<-> C-alpha- TCR alpha<0> MGI:1857255 TCRalpha- TCR alpha- TCRalpha KO Tcra<tm1Mom> targeted mutation 1, Peter Mombaerts Null/knockout TCR Calpha<-> http://identifiers.org/mgd/MGI:1857255